1. A short introduction to intuitionistic logi
المؤلف: / Grigori Mints
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.
رده :
QA
,
9
.
47
,.
M56
,
2000eb
2. A short introduction to intuitionistic logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;
3. A short introduction to intuitionistic logic
المؤلف: / Grigori Mints
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
4. A short introduction to intuitionistic logic
المؤلف: Mints, Grigori E.
المکتبة: (طهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
5. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
المؤلف: Wallen, Lincoln A.
المکتبة: (طهران)
موضوع: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
6. Brouwer meets Husserl
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: 1938. ; Phenomenology. ; Sequences (Mathematics) ; Intuitionistic mathematics. ; -1966. ; Husserl, Edmund, ; 1859-Brouwer, L. E. J. ; (Luitzen Egbertus Jan), ; 1881
7. Brouwer meets Husserl
المؤلف: / by Mark van Atten
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966,Husserl, Edmund, 1859-1938,Phenomenology,Sequences (Mathematics),Intuitionistic mathematics
رده :
B829
.
5
.
A88
2007
8. Brouwer meets Husserl
المؤلف: / by Mark van Atten
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Brouwer, L. E. J.--(Luitzen Egbertus Jan),--1881-1966,Husserl, Edmund,--1859-1938,Phenomenology.,Sequences (Mathematics),Intuitionistic mathematics.
9. Brouwer's Cambridge lectures on intuitionism
المؤلف: / edited by D. van Dalen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
10. Brouwer's Cambridge lectures on intuitionism
المؤلف: Brouwer, L. E. J.)Luitzen Egbertus Jan(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
11. Brouwer's Cambridge lectures on intuitionism
المؤلف: Brouwer, L. E. J.)Luitzen Egbertus Jan(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
12. Brouwer's Cambridge lectures on intuitionism
المؤلف: / edited by D. van Dalen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
13. Closure properties and kripke models for fragments of heyting arithmetic
المؤلف: by: Morteza Moniri,^AMoniri, Morteza
المکتبة: (طهران)
موضوع: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
14. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
15. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
16. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
17. Elements of intuitionism
المؤلف: Dummett, Michael A. E.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
D84
18. Elements of intuitionism
المؤلف: / by Michael, dummett with the assiatance of Roberto Minio,Dummett
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Intuitionistic mathematics
رده :
QA
9
.
47
.
D84
1977
19. Extensional Godel functional interpretation; a consistency proof of classical analysis
المؤلف: Luckhardt, Horst
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
20. Extensional Godel functional interpretation : a consistency proof of classical analysis
المؤلف: Luckhardt, Horst
المکتبة: (طهران)
موضوع: ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973
